GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

冠脉搭桥术用 CO2 激光低能输出方法研究

弱ＣＯ_２激光能量的输出及控制是ＣＯ_２激光冠脉搭桥术的核心技术之一。本文介绍了一种利用普通医用ＣＯ_２激光器获得弱激光能量输出的技术与方法。该方法具有激光输出功率稳定,并可调、输出光斑上能量密度均匀,光斑大小可控的特点,它很好地满足了搭桥仪对激光输出参数的要求;该方法还可应用于其它弱ＣＯ_２激光医疗仪器中。文中对设计原理进行了分析,并给出了设计实例。     

跟踪干扰对延迟锁定码跟踪环性能的影响

本文分析了跟踪干扰对跳频系统中码跟踪环性能的影响。它使参考码与接收码之间的相位误差均值偏移,相位误差方差增大,环路失锁慨率增加,以及间接地使误码率上升。     

米波段全固态宽带大功率放大器

本文介绍了一种高性能的米波段全固态宽带大功率放大器,讨论了设计中的有关理论和实际问题。该放大器在８０ＭＨｚ至２１０ＭＨｚ的频率范围内功率增益大于５０ｄＢ,功率波动小于１ｄＢ,输出连续波功率１００Ｗ,效率达４０％～５０％呢。本放大器可用于通信、导航、雷达、电子对抗等设备中作功率发射用。     

大型稀疏线性代数迭代库在YH 机上的高效实现

本文讨论了大型稀疏线性代数方程组的迭代算法、加速方法、存贮技术及并行算法。结合向量机特点,采取有效程序优化措施,开发研制了标量和向量库程序。在ＹＨ系列机上试算结果表明：大型稀疏线性代数向量迭代库比标量迭代库速度有较大提高。当Ｎ≥１００时,在ＹＨ─１机上加速比约２～８;在ＹＨ─２机上约２～７;当迭代次数增加时,加速比提高更明显;库中共轭梯度（ＣＧ）加速方法能有效地加快收敛,可减少迭代次数一半以上。     

天平模型中的二坏元问题

给出了坏元问题的一般定义,引进了有关概念,叙述了搜索方案最优性的五个等级。重点对双试验下的二坏元问题中天平模型作了研究,证明了一系列引理与定理,提出了一个搜索方案,证明了它是依测度最优的。文章最后指出该方案不是一致最优的,并猜测信息论最优的搜索方案是存在的。     

复Banach空间的凸性及 Hp 鞅

本文系统地讨论了复Ｂａｎａｃｈ空间的各种凸性,以及取值于复Ｂａｎａｃｈ空间的Ｈｐ鞅,得到了关于凸性及Ｈｐ鞅之间的各种等价性命题。     

用逆滤波基音同步分析提取声门波的方法

根据语音研究的要求,提出一种运用逆滤波基音同步分析提取声门波的方法,此方法可以比较准确地提取声门波。文中讨论了这种方法的原理、实现及其结果。     

半径突变多模圆锥馈源的分析和设计

报道了一种８毫米波段半径突变的高效率多模圆锥馈源,计算出其模比并推导出其辐射方向图公式,给出了它在两个主平面－Ｅ面和Ｈ面上的辐射方向图的理论计算结果和测试结果,以及频带和旁瓣特性。分析和测试结果表明,在３４．１～３５．５ＧＨｚ频带内该多模馈源的辐射方向图在大于－２３ｄＢ范围内不出现旁瓣,在大于－１３ｄＢ范围内幅度等化良好。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。